منابع مشابه
A logic of separating modalities
We present a logic of separating modalities, LSM, that is based on Boolean BI. LSM’s modalities, which generalize those of S4, combine, within a quite general relational semantics, BI’s resource semantics with modal accessibility. We provide a range of examples illustrating their use for modelling. We give a proof system based on a labelled tableaux calculus with countermodel extraction, establ...
متن کاملModalities in Vector Logic
Vector logic is a mathematical model of logic in which the truth values are mapped on elements of a vector space. The binary logical functions are performed by rectangular matrices operating on the Kronecker product of their vectorial arguments. The binary operators acting on vectors representing ambiguous (fuzzy) truth values, generate many-valued logics. In this article we show that, within t...
متن کاملSeparating Graph Logic from MSO
Graph logic (GL) is a spatial logic for querying graphs introduced by Cardelli et al. It has been observed that in terms of expressive power, this logic is a fragment of Monadic Second Order Logic (MSO), with quantification over sets of edges. We show that the containment is proper by exhibiting a property that is not GL definable but is definable in MSO, even in the absence of quantification o...
متن کاملResource modalities in tensor logic
The description of resources in game semantics has never achieved the simplicity and precision of linear logic, because of the misleading conception that linear logic is more primitive than game semantics. Here, we defend the opposite view, and thus advocate that game semantics is conceptually more primitive than linear logic. This revised point of view leads us to introduce tensor logic, a pri...
متن کاملGraded Modalities in Epistemic Logic
We propo~ an epistemic logic with so-called graded modalities, in which certain types of knowledge are expressible that are less absolute than in traditional epistemic logic. Beside 'absolute knowledge' (which does not allow for any exception), we a r e also able to express 'accepting r if there at most n exceptions to r This logic may be employed in decision support systems where there are dif...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 2016
ISSN: 0304-3975
DOI: 10.1016/j.tcs.2016.04.040